-
sité dédié à la méthode b. la méthode b évoque traditionnellement l'ensemble comprenant : le langage b, le raffinement, la preuve, et les outils associ ...
logiciel prouvé  methode-b methode formelle methode formelle b modèle abstrait système prouvé
www.methode-b.com - 2009-02-11
-
B4Free, cest aussi lAtelier B en version mono-utilisateur, capable de générer du code C grâce au traducteur CommenC. Les composants sont limités à 4000 obliga ...
application b application b4free bbatch cansell click'n prove dominique cansell j-r abrial logic solver modéisation de système modele b modèle b outil b outil b académique outils b gratuit projet b proven software systèmes sécuritaires systèmes sûrs télécharger b4freel utiliser b4free
www.b4free.com - 2009-02-13
-
Accueil l L'Outil Brama l Télécharger l Démos en ligne l Documentation l Liens l Contact Brama, Outil d'animation graphique de modèle B. Présentation de l'Outil B ...
langage formel methodes formelles modelisation b modélisation b modelisation graphique modelisation système
www.brama.fr - 2009-04-09
-
L'Offre Fersil présente le savoir-faire de ClearSy dans le domaine du développement de systèmes de sécurité ferroviaire
marché ferroviaire normes sécuritaires sécurité trains systèmes sûrs ferroviaires trafic ferroviaire
www.fersil.fr - 2009-04-07
-
Développement de logiciels avec des garanties étendues, utilisation de la méthode formelle B dans les phases de spécifications. Qualification et Sûreté
système ferroviaire
www.clearsy.com - 2009-02-07
-
Le compilateur B est, avec le Générateur de Théorèmes et le démonstrateur de Théorèmes, lun des outils principaux de l'Atelier B. Il permet lanalyse de la synta ...
b compiler compilateur b
www.b-compiler.com - 2009-02-09
-
Présentation de l'Atelier b, atelier de génie logiciel permettant de développer des logiciels prouvés sans défaut.
www.atelierb.eu - 2009-03-09
|
langage b
méthode formelle
atelier b
b4free
|
|
